441. Scripting in Java : languages, frameworks, and patterns
پدیدآورنده: Bosanac, Dejan.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
J38
B6715
2008
442. Selected reprints in software
پدیدآورنده: / edited by Marvin V. Zelkowitz
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software,Programming languages (Electronic computers)
رده :
QA
76
.
759
.
S45
1987
443. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
444. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
445. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده: edited by Neil D. Jones
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
446. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده: edited by Neil D. Jones
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94
447. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
448. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Streicher, Thomas, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
449. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: Thomas Streicher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
450. Software engineerin
پدیدآورنده: Pratap K. J. Mohapatra
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer programming,Programming languages (Electronic computers),Electronic books., lcsh
رده :
QA
،
76
.
6
،.
M64
,
2010eb
451. Software engineering
پدیدآورنده: Pratap K. J. Mohapatra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
452. Software engineering
پدیدآورنده: Pratap K. J. Mohapatra.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M64
2010eb
453. Software engineering: developments
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures
رده :
QA
76
.
6
.
S7
454. Software language engineering :
پدیدآورنده: Anneke Kleppe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.
رده :
QA76
.
7
.
K576
2009
455. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده: SLE 8002)8002 :Toulouse, France(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
456. Software programming languages
پدیدآورنده: prepared by the course team
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer software,، Programming languages )Electronic computers(
رده :
QA
76
.
755
.
S66
1973
457. Software studies
پدیدآورنده: / edited by Matthew Fuller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software.,Computers and civilization--Encyclopedias,Programming languages (Electronic computers)--Lexicography,Technology and the arts.
رده :
QA
,
76
.
754
,.
S64723
,
2008
458. Software studies
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software. ; Computers and civilization ; Encyclopedias. ; Programming languages (Electronic computers) ; Lexicography. ; Technology and the arts. ;
459. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده: Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016
